Strong parallel repetition for free entangled games, with any number of players

We present a strong parallel repetition theorem for the entangled value of multi-player, oneround free games (games where the inputs come from a product distribution). Our result is the first parallel repetition theorem for entangled games involving more than two players. Furthermore, our theorem applies to games where the players are allowed to output (possibly entangled) quantum states as answers. More specifically, let G be a k-player free game, with entangled value val∗(G) = 1 − . We show that the entangled value of the n-fold repetition val∗(G⊗n) is at most (1 − )Ω(n/k2). In the traditional setting of k = 2 players, our parallel repetition theorem is optimal in terms of its dependence on and n. For an arbitrary number of players, our result is nearly optimal: we exhibit a k-player free game G and n ≥ 1 such that val∗(G⊗n) ≥ val∗(G)n/k. Hence, exponent of the repeated game value cannot be improved beyond Ω(n/k). Our parallel repetition theorem improves on the prior results of Jain, et al. and Chailloux and Scarpa in a number of ways: (1) our theorem applies to a larger class of games (arbitrary number of players, quantum outputs); (2) we demonstrate that strong parallel repetition holds for the entangled value of free games: i.e., base of the repeated game value is 1− , rather than 1− ; and (3) there is no dependence of the repeated game value on the input and output alphabets of G. In contrast, it is known that the repeated game value of classical free games must depend on the output size. Thus our results demonstrate a seperation between the behavior of entangled games and classical games.